Supervisory Control for Nondeterministic Systems Supervisory Control for Nondeterministic Systems
نویسندگان
چکیده
In this paper we present the rst results of our attempt to set up a supervisory theory for nondeterministic discrete event systems. The supervisory control problem for nondeterministic systems is speciied and motivated. A necessary and suucient condition for the existence of a supervisor is derived. Also an algorithm is presented that will automatically generate a supervisor. The results are extended to deal with uncontrollable events.
منابع مشابه
Discrete-Event Control of Nondeterministic Systems
Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced in [6] and [7]. This formalism has been used in [26] (also [14] and [15]) for obtaining various results on supervisory control ...
متن کاملNonblocking Supervisory Control of Nondeterministic Systems
In this paper we extend the theory of supervisory control of nondeterministic discrete event systems subject to nondeterministic speci cation developed in We focus our attention on nonblocking and liveness considerations and develop algorithms for nonblocking supervisor synthesis
متن کاملSupervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models 1
We study the supervisory control of nondeterministic discrete event dynamical systems (DEDS's) with driven events in the setting of prioritized synchronization and trajectory models introduced by Heymann. Prioritized synchronization captures the notions of controllable, uncontrollable, and driven events in a natural way, and we use it for constructing supervisory controllers. The trajectory mod...
متن کاملSupervisory control of discrete event systems for bisimulation or simulation equivalence
The supervisory control of discrete event systems provides a framework for control of eventdriven systems. Applications of supervisory control theory include protocol design for communication processes, control logic synthesis in manufacturing systems, and collision avoidance in human-computer interaction systems. When designing a system at a certain level of abstraction, lower level details of...
متن کاملCentralized and Decentralized Supervisory Control of Nondeterministic Systems under Partial Observation 1 2
In this paper we extend our earlier work on supervisory control of nondeterministic systems using prioritized synchronization as the mechanism of control and trajectory model as the modeling formalism by considering design of supervisors under partial observation. We introduce the notion of observation-compatible systems and show that prioritized synchronous composition of observation-compatibl...
متن کامل